در مورد حدس روتا

مترویدها‎ در تلاش برای فراهم آوردن یک رفتار مجرد یکسان از وابستگی در جبر خطی و نظریه گراف معرفی شده اند. نام متروید ساختاری مربوط به یک ماتریس را القا می کند. تعریف ویتنی‎‎ تنوعی شگفت انگیز از ساختارهای ترکیبیاتی را در برداشت. از این گذشته مترویدها به طور طبیعی در بهینه سازی ترکیبیاتی پدیدار می شوند، زیرا آنها دقیقا‏ً همان ساختارهای ترکیبیاتی هستند که الگوریتم حریصانه برای آن به نتیجه می رسد. یکی از حدس های مهم در نظریه متروید، حدس روتا می باشد که توسط جیان کارلو روتا‎، ریاضیدان و فیلسوف مشهور در سال ‎۱۹۷۰‎ مطرح شد. ما در این مقاله ضمن بیان مقدمات لازم و معرفی حدس روتا، به بررسی کلیات اثباتی که توسط جیوف ویتل از دانشگاه ویکتوریا با همکاری جیم گیلن از کانادا و برت جراردز از هلند برای آن اخیراً ارائه کرده اند، می پردازیم.